Vérité intensive et projet universel

Inférence semi-automatique et interactive de règles sans vérité terrain

Dealing with non annotated documents for the design of a document recognition system is not an easy task. In general, statistical methods cannot learn without an annotated ground truth, unlike syntactical methods. However their ability to deal with non annotated data comes from the fact that the description is manually made by a user. The adaptation to a new kind of document is then tedious as ...

Lix, ´ Ecole Polytechnique Et Projet Algo, Inria Rocquencourt Combinatoire Des Cartes Planaires Et Applications Algorithmiques

This thesis describes algorithms on planar maps (graphs embedded in the plane without edge-crossings) based on their combinatorial properties. For several important families of planar maps (3-connected, triangulations, quadrangulations), efficient procedures of random generation, encoding, and straight-line drawing are described. In particular, the first optimal encoder for the combinatorial in...

Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM

This paper presents some results of the RNTL BOM project (B Optimizing Memory). The goal was to design and implement a translator from B to C easily adaptable to memory constraints (embedded software on smart cards). We propose an extension method of the basic data types able to include some types of the target language. We present how the translator is described by the way of translation rules...

La dynamique des réseaux coopératifs. L'exemple des logiciels libres et du projet d'encyclopédie libre et ouverte Wikipédia

Combiner suivi de l'activite? et partage d'expe?riences en apprentissage par projet pour les acteurs tuteurs et apprenants

Our work aims to study tools offered to students and tutors involved in face-to-face or blended projectbased learning activities. Project-based learning is often applied in the case of complex learning (i.e. which aims at making learners acquire various linked skills or develop their behaviours). In comparison to traditional learning, this type of learning relies on co-development, collective r...